退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:将HPSG类型约束编译为定语从句程序
Walt Detmar Meurers;
机译:具有定句从句翻译语法的基于逻辑的遗传编程
机译:使用Muli进行约束逻辑面向对象编程的编译器和虚拟机
机译:通过时序约束细化和结构代码运动来编译实时程序
机译:多态程序的基于约束的类型推断。
机译:在强KKT型上具有消失的多目标半无限规划问题的充分最优条件
机译:将HpsG类型约束编译为明确的子句程序
机译:使用prolog的明确子句语法解决约束满足问题的一种技术
机译:编译方法,编译设备,其中记录有编译程序的记录介质以及其中记录有用于编译的转换表的记录介质,用于根据目标处理器类型生成目标程序
机译:根据目标处理器类型生成目标程序的编译方法,编译装置,其中记录有编译程序的记录介质以及其中记录有用于编译的转换表的记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。